Whither Formal Contracts?

نویسندگان

چکیده

To measure the benefits of formal contract enforcement for society, I create a market with merchants and buyers, in which buyers can choose whether to buy, pay. A set multiple “state‐favored” ethnic groups control state. experimentally vary contracts are required composition buyer‐merchant pairs. The design separately identifies effect on buyers' incentive pay their buy. document two ways society limits contracts. First, reduce buyer cheating, thus increasing merchants' profits, if, only merchant is state‐favored. Buyers' beliefs suggest that enforce Second, holding constant pair state‐favored, influence choices when belong two, different, state‐favored groups. confirm that, case, expected be enforceable, but they have no because reputation already governs incentives cheat within findings temper view state as independent from offer rationale why not adopted, nuance notion weakness.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Customer Validation of Formal Contracts

This paper shows how to write formal OCL contracts for system operations in such way that a translation to natural language (a subset of English), understandable by a customer, can be obtained automatically. To achieve natural language text understandable by a customer we use the vocabulary of the problem domain when writing formal contracts for system operations. The benefits of our approach a...

متن کامل

Formal Contracts: Enabling Component Composition

Traditional component interaction is based on interface calls and callbacks. Such interaction can introduce integration faults, i.e., side effects at the moment of component integration. Solutions to such problems can be hard to apply, and may require drastic changes in the design of the involved components. This paper introduces Formal Contracts, a software construct that allows side-effect fr...

متن کامل

Formal Contracts, Relational Contracts, and the Threat-Point Effect

Can formal contracts help resolving the holdup problem? We address this important question by studying the holdup problem in repeated transactions between a seller and a buyer in which the seller can make relation-specific investments in each period. In contrast to previous findings, we demonstrate that writing a simple fixed-price contract based on product delivery is of value even when relati...

متن کامل

A Formal Framework for Design Component Contracts

Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary components in different phases of software development. Component technologies lead to increasing productivity and flexibility. However, it also introduces significant problems in ensuring the integrity and reliability of ...

متن کامل

Short Paper: Formal Verification of Smart Contracts

Ethereum is a cryptocurrency framework that uses blockchain technology to provide an open distributed computing platform, called the Ethereum Virtual Machine (EVM). EVM programs are written in bytecode which operates on a simple stack machine. Programmers do not usually write EVM code; instead, they can program in a JavaScript-like language called Solidity that compiles to bytecode. Since the m...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Econometrica

سال: 2021

ISSN: ['0012-9682', '1468-0262']

DOI: https://doi.org/10.3982/ecta16083